Haskell Curry

Haskell Curry
Persona informo
Haskell Brooks Curry
Naskonomo Haskell Brooks Curry
Naskiĝo 12-an de septembro 1900 (1900-09-12)
en Millis
Morto 1-an de septembro 1982 (1982-09-01) (81-jaraĝa)
en State College
Lingvoj angla vd
Ŝtataneco Usono Redakti la valoron en Wikidata vd
Alma mater Universitato de Göttingen (1928–1930)
Universitato Harvard (1922–1924)
Masaĉuseca Instituto de Teknologio (1920–1922)
Universitato Harvard (1916–1920) Redakti la valoron en Wikidata vd
Familio
Patro Samuel Silas Curry (en) Traduki Redakti la valoron en Wikidata vd
Patrino Anna Baright Curry (en) Traduki Redakti la valoron en Wikidata vd
Profesio
Okupo matematikisto
universitata instruisto
filozofo
komputosciencisto Redakti la valoron en Wikidata vd
Doktoreca konsilisto David Hilbert vd
Verkado
Verkoj respondo de Curry-Howard ❦
paradokso de Curry ❦
kareumado vd
vd Fonto: Vikidatumoj
vdr

Haskell Brooks CURRY [haskel bruks keri] (naskiĝis la 12-an de septembro 1900 en Millis, Usono, mortis la 1-an de septembro 1982 en State College, Usono) estis usona matematikisto kaj logikisto. Curry estas plej konata pro sia laboro en kombinatora logiko; kvankam la komenca koncepto de kombinatora logiko estis bazita sur artikolo de Moses Schönfinkel, Curry evoluis ĝin multe ankaŭ pro paradokso de Curry kaj la konformeco de Curry–Howard. Estas tri programlingvoj nomitaj honore de li, Haskell, Brook kaj Curry, ankaŭ la koncepto currying, nome maniero kiun oni uzas por transformi funkciojn en matematiko kaj informadiko.


© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search